-
1 схема аксиом
Mathematics: axiom scheme -
2 схема аксиом
аксиома тәрізіРусско-казахский терминологический словарь "Философия и политология" > схема аксиом
-
3 аксиом схема
-
4 axiom scheme
-
5 axiom scheme
English-Russian dictionary of computer science > axiom scheme
-
6 scheme
ski:m
1. сущ.
1) нечто задуманное, спланированное а) план, проект;
программа to concoct, cook up, devise, think up a scheme ≈ думать над проектом, обдумывать проект to foil, thwart a scheme ≈ разрушать планы diabolical scheme ≈ дьявольский план, коварный замысел fantastic scheme ≈ фантастический, нереальный план get-rich-quick scheme ≈ план быстрого обогащения grandiose scheme ≈ грандиозный план nefarious scheme ≈ бесчестные, гнусные, низкие интриги preposterous, wild-eyed scheme ≈ нелепый, абсурдный план she concocted a scheme to get publicity ≈ она придумала план, как завоевать общественное мнение б) интрига, махинация;
козни, происки bubble scheme Syn: machination, intrigues, intrigue
2) система, устройство;
построение, план Syn: system
3) а) рисунок, схема;
диаграмма, чертеж (графическое представление какой-то структуры) б) конспект, общая картина, портрет( краткое письменное или словесное изложение)
2. гл.
1) замышлять( недоброе) ;
плести интриги, интриговать Many politicians are mostly concerned with scheming for personal power. ≈ Многие политики главным образом озабочены тем, чтобы захватить власть в свои руки.
2) планировать, проектировать, составлять план план, проект, программа - a * of work график /план/ работы - a * for a canal проект канала - a * of maneuver( военное) план маневра - simple * простой план /проект/ - to draw up a * набросать план /проект/ - now, what's the *? (разговорное) ну, каков план действий? - to lay down a * of education излагать программу образования - under the proposed * согласно предложенному плану замысел - daring * дерзкий замысел система, структура, построение - (a) colour * сочетание цветов - an effective colour * эффектный подбор цветов - a * of life уклад жизни - the * of a sonata построение сонаты - the * of the sonnet форма /структура/ сонета - the * of society структура общества тайный или нечестный замысел, заговор;
махинация, интрига - shady *s темные махинации - *s and intrigues махинации и интриги - to lay /to devise, to concoct/ a * to do smth. замышлять что-л. - to thwart smb.'s *s сорвать чьи-л. замыслы краткий план, конспект;
резюме - to give the students a * of work for the year дать студентам план работы на текущий год схема, чертеж, диаграмма pl пустые мечты, прожекты (логика) (философское) схема (диалектизм) эскапада, веселый кутеж( устаревшее) внешняя форма, внешний вид( устаревшее) гороскоп замышлять (недоброе) ;
строить тайные планы - to * smb.'s downfall строить тайные планы свержения кого-л. плести интриги, интриговать - to * for power интригами добиваться власти - he had been scheming for a bigger share in the running of the business интригами он пытался добиться большего участия в управлении предприятием планировать;
разрабатывать план, проект ( чего-л.) - to * a system of water supply разрабатывать проект водоснабжения - to * out a new method of langauge teaching разработать /изобрести/ новый метод преподавания языков( редкое) сводить к схеме, к формуле agricultural ~ структура сельского хозяйства allocation ~ вчт. схема размещения amended ~ усовершенствованная программа amortization ~ план погашения долга в рассрочку assurance ~ система гарантий audit ~ порядок ревизии axiom ~ схема аксиом block ~ блок-схема block ~ структурная схема bonus ~ порядок получения надбавок к заработной плате bonus ~ система участия в прибылях ~ интрига, махинация;
происки;
bubble scheme дутое предприятие certification ~ порядок сертификации classification ~ система классификации coding ~ вчт. схема кодирования ~ система, построение, расположение;
under the present scheme of society при современном устройстве общества;
a colour scheme сочетание цветов Community ~ структура Европейского экономического сообщества company health insurance ~ система страхования работников компании от болезней compulsory insurance ~ страх. порядок обязательного страхования computational ~ вычислительный алгоритм concessionary ~ концессионная политика conditional sale ~ порядок условной продажи conversion ~ порядок конверсии costing ~ порядок калькуляции себестоимости debt rescheduling ~ программа реструктуризации долга decoding ~ схема декодирования depositors' guarantee ~ программа обеспечения защиты вкладов discount ~ система учетных ставок distribution ~ система распределения duty ~ график дежурств explanatory ~ пояснительная схема financial ~ финансовый план financing ~ план финансирования financing ~ программа финансирования forward cover ~ порядок срочного покрытия валютного риска general aid ~ программа общей помощи guarantee ~ система гарантий hedging ~ бирж. система хеджирования home help ~ соц. система помощи на дому home market ~ структура внутреннего рынка implement a ~ осуществлять план incentive ~ система материального стимулирования index account ~ система индексации instalment ~ система продажи в рассрочку insurance ~ система страхования investor protection ~ система защиты инвестора land consolidation ~ программа укрупнения участков земли large-scale ~ крупномасштабный проект ~ план, проект;
программа;
to lay a scheme составлять план, задумывать, замышлять loan ~ программа кредитования loan ~ система кредитования market making ~ программа создания рынка marketing ~ программа сбыта продукции marketing ~ система маркетинга national pension ~ государственная программа пенсионного обеспечения new ~ новый порядок notification ~ порядок уведомления obligatory insurance ~ система обязательного страхования optimization ~ схема оптимизации pension fund ~ программа пенсионного обеспечения pension ~ пенсионная система (общий термин) pension ~ программа пенсионного обеспечения pensions assurance ~ программа страхового пенсионного обеспечения pilot ~ пробная схема pilot ~ экспериментальный план pool ~ объединение пенсионных фондов нескольких предприятий preservation ~ порядок охраны priority ~ вчт. система приоритетов private superannuation ~ система частных пенсий по выслуге лет probability ~ вероятностная схема profit-sharing ~ программа участия в прибылях компании quality label ~ система знаков качества quota ~ система квот rationalization ~ программа рационализации refinancing ~ система рефинансирования registration ~ порядок регистрации repurchase ~ система продажи и обратной покупки reward ~ система поощрений rotation ~ программа чередования sampling ~ план выборки savings ~ программа накопления сбережений scheme вчт. алгоритм ~ диаграмма ~ замышлять (недоброе) ;
плести интриги ~ интрига, махинация;
происки;
bubble scheme дутое предприятие ~ конспект;
краткое изложение ~ план, проект;
программа;
to lay a scheme составлять план, задумывать, замышлять ~ план ~ планировать, проектировать ~ последовательность операций ~ программа ~ проект ~ система, построение, расположение;
under the present scheme of society при современном устройстве общества;
a colour scheme сочетание цветов ~ система ~ структура ~ схема, чертеж ~ схема ~ of arrangement порядок разрешения спорных вопросов ~ of arrangement порядок урегулирования претензий ~ of arrangement схема мероприятия ~ of arrangement negotiations переговоры о порядке урегулирования претензий ~ of arrangement proposal предложение о порядке урегулирования претензий ~ of distribution схема распределения ~ of payment порядок платежей ~ of social security benefits система пособий по социальному страхованию selective financing ~ система выборочного финансирования self-pensioning ~ программа пенсионного обеспечения за счет собственных средств selling ~ программа продажи settlement ~ порядок производства расчетов simulation ~ схема моделирования slum clearance ~ план сноса ветхих домов sorting ~ способ сортировки special deposit ~ система специальных депозитов special financing ~ система специального финансирования statutory insurance ~ установленная законом программа страхования subsidy ~ программа дотаций subsidy ~ программа субсидий superannuation ~ программа пенсионного обеспечения support ~ план поддержки support ~ проект поддержки tax avoidance ~ система уклонения от налогов tax declaration ~ порядок представления налоговой декларации tax-privileged savings ~ программа аккумуляции сбережений с налоговыми льготами taxation ~ порядок налогообложения town planning ~ программа городского планирования training ~ план профподготовки transitional ~ временный план trial ~ предварительная схема ~ система, построение, расположение;
under the present scheme of society при современном устройстве общества;
a colour scheme сочетание цветов unemployment benefit ~ программа пособий по безработице wiring ~ схема коммутации -
7 scheme
[ski:m]agricultural scheme структура сельского хозяйства allocation scheme вчт. схема размещения amended scheme усовершенствованная программа amortization scheme план погашения долга в рассрочку assurance scheme система гарантий audit scheme порядок ревизии axiom scheme схема аксиом block scheme блок-схема block scheme структурная схема bonus scheme порядок получения надбавок к заработной плате bonus scheme система участия в прибылях scheme интрига, махинация; происки; bubble scheme дутое предприятие certification scheme порядок сертификации classification scheme система классификации coding scheme вчт. схема кодирования scheme система, построение, расположение; under the present scheme of society при современном устройстве общества; a colour scheme сочетание цветов Community scheme структура Европейского экономического сообщества company health insurance scheme система страхования работников компании от болезней compulsory insurance scheme страх. порядок обязательного страхования computational scheme вычислительный алгоритм concessionary scheme концессионная политика conditional sale scheme порядок условной продажи conversion scheme порядок конверсии costing scheme порядок калькуляции себестоимости debt rescheduling scheme программа реструктуризации долга decoding scheme схема декодирования depositors' guarantee scheme программа обеспечения защиты вкладов discount scheme система учетных ставок distribution scheme система распределения duty scheme график дежурств explanatory scheme пояснительная схема financial scheme финансовый план financing scheme план финансирования financing scheme программа финансирования forward cover scheme порядок срочного покрытия валютного риска general aid scheme программа общей помощи guarantee scheme система гарантий hedging scheme бирж. система хеджирования home help scheme соц. система помощи на дому home market scheme структура внутреннего рынка implement a scheme осуществлять план incentive scheme система материального стимулирования index account scheme система индексации instalment scheme система продажи в рассрочку insurance scheme система страхования investor protection scheme система защиты инвестора land consolidation scheme программа укрупнения участков земли large-scale scheme крупномасштабный проект scheme план, проект; программа; to lay a scheme составлять план, задумывать, замышлять loan scheme программа кредитования loan scheme система кредитования market making scheme программа создания рынка marketing scheme программа сбыта продукции marketing scheme система маркетинга national pension scheme государственная программа пенсионного обеспечения new scheme новый порядок notification scheme порядок уведомления obligatory insurance scheme система обязательного страхования optimization scheme схема оптимизации pension fund scheme программа пенсионного обеспечения pension scheme пенсионная система (общий термин) pension scheme программа пенсионного обеспечения pensions assurance scheme программа страхового пенсионного обеспечения pilot scheme пробная схема pilot scheme экспериментальный план pool scheme объединение пенсионных фондов нескольких предприятий preservation scheme порядок охраны priority scheme вчт. система приоритетов private superannuation scheme система частных пенсий по выслуге лет probability scheme вероятностная схема profit-sharing scheme программа участия в прибылях компании quality label scheme система знаков качества quota scheme система квот rationalization scheme программа рационализации refinancing scheme система рефинансирования registration scheme порядок регистрации repurchase scheme система продажи и обратной покупки reward scheme система поощрений rotation scheme программа чередования sampling scheme план выборки savings scheme программа накопления сбережений scheme вчт. алгоритм scheme диаграмма scheme замышлять (недоброе); плести интриги scheme интрига, махинация; происки; bubble scheme дутое предприятие scheme конспект; краткое изложение scheme план, проект; программа; to lay a scheme составлять план, задумывать, замышлять scheme план scheme планировать, проектировать scheme последовательность операций scheme программа scheme проект scheme система, построение, расположение; under the present scheme of society при современном устройстве общества; a colour scheme сочетание цветов scheme система scheme структура scheme схема, чертеж scheme схема scheme of arrangement порядок разрешения спорных вопросов scheme of arrangement порядок урегулирования претензий scheme of arrangement схема мероприятия scheme of arrangement negotiations переговоры о порядке урегулирования претензий scheme of arrangement proposal предложение о порядке урегулирования претензий scheme of distribution схема распределения scheme of payment порядок платежей scheme of social security benefits система пособий по социальному страхованию selective financing scheme система выборочного финансирования self-pensioning scheme программа пенсионного обеспечения за счет собственных средств selling scheme программа продажи settlement scheme порядок производства расчетов simulation scheme схема моделирования slum clearance scheme план сноса ветхих домов sorting scheme способ сортировки special deposit scheme система специальных депозитов special financing scheme система специального финансирования statutory insurance scheme установленная законом программа страхования subsidy scheme программа дотаций subsidy scheme программа субсидий superannuation scheme программа пенсионного обеспечения support scheme план поддержки support scheme проект поддержки tax avoidance scheme система уклонения от налогов tax declaration scheme порядок представления налоговой декларации tax-privileged savings scheme программа аккумуляции сбережений с налоговыми льготами taxation scheme порядок налогообложения town planning scheme программа городского планирования training scheme план профподготовки transitional scheme временный план trial scheme предварительная схема scheme система, построение, расположение; under the present scheme of society при современном устройстве общества; a colour scheme сочетание цветов unemployment benefit scheme программа пособий по безработице wiring scheme схема коммутации -
8 axiom scheme
1) Математика: схема аксиом2) Вычислительная техника: система аксиом
См. также в других словарях:
СХЕМА АКСИОМ — (аксиомная схема) – разновидность постулатов, с помощью к рых в логике задаются исчисления (формальные системы). С а. представляет собой выражение, составленное из т.н. метаматем. букв. т.е. символов, не входящих в алфавит рассматриваемой системы … Философская энциклопедия
АКСИОМ СХЕМА — единый способ задания аксиом, обладающих одной и той же синтаксич. структурой. Конкретная А. с. обычно реализуется при помощи фиксирующего ее синтаксич. структуру выражения (чаще всего не принадлежащего языку, в к ром записываются аксиомы) и… … Математическая энциклопедия
Схема преобразования — Схемой преобразования [множеств] (Axiom schema of replacement) называется следующее высказывание теории множеств: , где Схему преобразования можно сформулировать по русски, а именно: Любое множество можно преобразовать в [то же самое или другое]… … Википедия
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
АРБИТРАЖНАЯ СХЕМА — правило, по к рому каждой игре с дележами (см. Кооперативная игра).ставится в соответствие единственный дележ этой игры, наз. а р битражным решением. Первоначально А. с. были рассмотрены Дж. Нэшем [1] для случая игры двух лиц. Пусть множество… … Математическая энциклопедия
МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — полная математическая индукция (наз. в математике часто просто полной индукцией; в этом случае это понятие следует отличать от рассматриваемого в нематематич. формальной логике понятия полной индукции), – прием доказательства общих предложений в… … Философская энциклопедия
МИНИМАЛЬНАЯ ЛОГИКА — логич. система, являющаяся ослаблением конструктивной логики и интуиционистской логики за счёт исключения из числа постулатов принципа «из противоречия следует любое предложение». Этот принцип, как и более сильный «закон двойного… … Философская энциклопедия
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см … Большая советская энциклопедия
Тождество — основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем. В математике Т. это Уравнение, которое удовлетворяется тождественно, то есть… … Большая советская энциклопедия
